$\forall$$i$, $j$:$\mathbb{Z}$. ($i$ $\leq$ $j$) $\in$ $\mathbb{P}_{1}$